@$i$: $k$ affects only members of $L$($j$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if eqof(IdDeq)($j$,$i$)$\rightarrow$ $k$ affects only members of $L$ else  fi